More from this Author

Verification, Model Checking, and Abstract Interpretation

by Francesco Logozzo (Editor), Leonore D. Zuck (Editor), Doron A. Peled (Editor)